41. LATIN 2018 :
Author: Michael A. Bender, Martín Farach-Colton, Miguel A. Mosteiro (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer networking & communications.,Computer science.,Computers-- Computer Graphics.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Graphics programming.,Mathematical theory of computation.
Classification :
QA75
.
5
42. Quantifier elimination and cylindrical algebraic decomposition
Author: B.F. Caviness, J.R. Johnson (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra -- Data processing -- Congresses.,Algorithms -- Congresses.,Decomposition method -- Data processing -- Congresses.
43. Topics in finite fields : 11th International Conference on Finite Fields and Their Applications, July 22--26, 2013, Magdeburg, Germany
Author: Gohar Kyureghyan, Gary L. Mullen, Alexander Pott, editors
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Finite fields )Algebra(,Congresses ، Commutative rings,Congresses ، Combinatorial analysis,Congresses ، Arithmetical algebraic geometry,Congresses ، Group theory
Classification :
QA
247
.
3
.
I54
2013
